Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
791	Specification of Zinc and MiniZinc Nicholas Nethercote Mark Wallace Kim Marriott Reza Rafeh Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2008-05-30 04:26:48 Computing Programming language theory ZM C Type system Enumerated type Variable E Data types Type theory Software engineering
792	page 56 SECTION 03 COOLING Add to Reading List Source URL: www.reece.com.au Language: English - Date: 2013-10-09 19:30:24 C Software engineering Programming language theory Computing MS Braemar Braemar
793	Stephanie Weirich Research Statement My research focuses on the design of statically-typed programming languages. Static type systems are a popular, cost-eﬀective form of lightweight program veriﬁcation. They provide Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-08-01 09:01:37 Type theory Functional programming Data types Functional languages International Conference on Functional Programming POPLmark challenge Principles of Programming Languages SIGPLAN Haskell Software engineering Computing Programming language theory
794	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory
795	Safe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg Simon Peyton Jones Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:03 ALGOL 68 Type system Symbol Orbifold Programming language theory Software engineering Computing
796	A Computer Language Transformation System Capable of Generalized Context-Dependent Parsing by Adrian D. Thurston Add to Reading List Source URL: www.colm.net Language: English - Date: 2008-12-15 22:45:48 Programming language theory Compiler construction Parsing LR parser TXL Earley parser CYK algorithm Formal grammar Programming language Formal languages Combinatorics Software engineering
797	LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Proof theory Propositional calculus Dependently typed programming Type theory Formal languages First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
798	KX SYSTEMS CASE STU DI ES appian Intelligent Opportunities Add to Reading List Source URL: kx.com Language: English - Date: 2014-11-03 19:04:24 Array programming languages Programming language theory K Appian Corporation Business process management Q Computing Software engineering APL programming language family
799	Specification of Zinc and MiniZinc Nicholas Nethercote Mark Wallace Kim Marriott Reza Rafeh Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2008-12-23 00:30:54 Programming language theory Type theory Enumerated type C Type system Database index Array data type Data types Computing Software engineering
800	A Data Locality Michael Optimizing E. Wolf Add to Reading List Source URL: www-suif.stanford.edu Language: English - Date: 2003-09-08 03:50:26 Software engineering Loop optimization Loop interchange Polytope model CPU cache For loop Sequence container Control flow Reuse Compiler optimizations Computing Programming language theory

UPDATE